

void os_pin_mode(os_base_t pin, os_base_t pin_mode);
void os_pin_read(os_base_t pin, os_base_t *value);
void os_pin_write(os_base_t pin, os_base_t value);

void os_pin_init();

